Predicative Names
نویسندگان
چکیده
منابع مشابه
Comments on Predicative Logic
The syntax of intuitionistic propositional second-order logic PSOLi consists of a set of propositional constants P , Q, R, etc, a denumerable set of propositional variables F , G, H, etc, together with the primitive logical signs of the conditional and the universal propositional quantifier, and ponctuation signs (parenthesis). The formulas of PSOLi are the smallest class of expressions of the ...
متن کاملPredicative Algebraic Set Theory
In this paper the machinery and results developed in [Awodey et al, 2004] are extended to the study of constructive set theories. Specifically, we introduce two constructive set theories BCST and CST and prove that they are sound and complete with respect to models in categories with certain structure. Specifically, basic categories of classes and categories of classes are axiomatized and shown...
متن کاملQuantum Predicative Programming
The subject of this work is quantum predicative programming — the development of programs intended for execution on a quantum computer. We look at programming in the context of formal methods of program development, or programming methodology. Our work is based on probabilistic predicative programming, a recent generalisation of the well-established predicative programming. It supports the styl...
متن کاملThe predicative Frege hierarchy
In this paper, we characterize the strength of the predicative Frege hierarchy, PV, introduced by John Burgess in his book [Bur05]. We show that PV and Q + con(Q) are mutually interpretable. It follows that PV := PV is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [Gan06] using a different proof. Another consequence of the our main result is that PV is mutually i...
متن کاملPredicative semantics of loops
A predicative semantics is a mapping of programs to predicates These pred icates characterize sets of acceptable observations The presence of time in the observations makes the obvious weakest xed point semantics of itera tive constructs unacceptable This paper proposes an alternative We will see that this alternative semantics is monotone and implementable feasible Fi nally a programming theor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cadernos do PET Filosofia
سال: 2019
ISSN: 2178-5880
DOI: 10.26694/cadpetfil.v9i18.8619